mathematical semantics
[ˌmæθiˈmætikəl sɪˈmæntɪks]
- 基础释义 纠错
- 释义
[计] 数学语义;
- 双语例句 更多例句
-
1、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
来源：互联网摘选 -
2、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
来源：互联网摘选
- 相关词组
- 相关阅读
-
2025年中考英语阅读理解专项训练及答案(21)
简答网 · 中考英语
-
高考英语完形填空真题30（含答案解析）
简答网 · 高考英语
-
英语的阅读理解拿分技巧
简答网 · 英语阅读
-
保护环境的英语作文13篇（带中文）
简答网 · 初中英语作文
-
高考英语阅读理解真题90(含答案解析)
简答网 · 高考英语
-
七年级下册英语第一单元作文范文：我有两个朋友
简答网 · 初中英语作文